Safecomp 2024 talk.
- It is time for computer-based system safety to evolve
- - Autonomous systems show us where to improve
- Definitional build-up:
- - Loss
- - Risk
- - Safety Constraint
- - Safety Engineering
- - Safety Case
- - Acceptable safety
- Viewpoint: safety as constraint satisfaction rather than risk optimization